We introduce a category of vector spaces modelling full propositional linearlogic, similar to probabilistic coherence spaces and to Koethe sequencesspaces. Its objects are {\it rigged sequences spaces}, Banach spaces ofsequences, with norms defined from pairing with finite sequences, and morphismsare bounded linear maps, continuous in a suitable topology. The main interestof the work is that our model gives a realization of the free linear logicexponentials construction.
展开▼